Computer arithmetic

Results: 1849



#Item
191Computational neuroscience / Neuroscience / Nervous system / Sensory systems / Artificial neural networks / Applied mathematics / Receptive field / Cerebellar model articulation controller / One-key MAC / Hash function / Contrast / Image segmentation

UNH_CMAC Version 2.1 The University of New Hampshire Implementation of the Cerebellar Model Arithmetic Computer - CMAC August 31, 1994 (last modified July, 1996) W. Thomas Miller and Filson H. Glanz

Add to Reading List

Source URL: incompleteideas.net

Language: English - Date: 2013-04-20 17:24:26
192Computer arithmetic / IEEE floating point / Floating point / C99 / Double-precision floating-point format / NaN / ANSI C / Half-precision floating-point format / C / Decimal floating point / Long double / Decimal

Rationale for TRExtension to the programming language C Decimal Floating-Point Arithmetic

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2007-07-06 11:30:45
193Abstract algebra / Algebra / Mathematics / Modular arithmetic / Computer arithmetic / Binary operations / E-commerce / RSA / Modular exponentiation / Montgomery modular multiplication / Vienna U-Bahn / Modulo operation

A Timing Attack against RSA with the Chinese Remainder Theorem Werner Schindler Bundesamt f¨ ur Sicherheit in der Informationstechnik (BSI) Godesberger Allee 183, 53175 Bonn, Germany

Add to Reading List

Source URL: tls.mbed.org

Language: English
194

Design for a 16-bit CS-353 computer 16-bit word size (with two’s complement numbers & arithmetic) 32 registers = 5-bit register specs 4096 word RAM = 12-bit RAM addresses 3 bits for primary opcode: + 3 for operator sel

Add to Reading List

Source URL: www.willamette.edu

Language: English - Date: 2009-11-06 14:47:50
    195

    Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak

    Add to Reading List

    Source URL: www.mpi-sws.org

    Language: English - Date: 2008-05-14 14:09:36
      196Theoretical computer science / Mathematical logic / Logic / Logic in computer science / Automated theorem proving / Formal methods / Model theory / Satisfiability modulo theories / Automated reasoning / Presburger arithmetic / First-order logic / Formal verification

      Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

      Add to Reading List

      Source URL: www.dagstuhl.de

      Language: English - Date: 2010-04-21 04:49:56
      197

      Using High-Precision Arithmetic to Conquer Numerical Error David H. Bailey http://www.davidhbailey.com Lawrence Berkeley National Laboratory (retired) Computer Science Department, University of California, Davis

      Add to Reading List

      Source URL: www.davidhbailey.com

      Language: English - Date: 2014-05-18 20:47:16
        198Parallel computing / Computer arithmetic / Application programming interfaces / C++ / Fortran / OpenMP / LAM/MPI / MPI / Pointer / GNU Multiple Precision Arithmetic Library / C++ classes / Lis

        A Brief Introduction to MPIGMP & MPIBNCpack Tomonori KOUYA Version 0.1: April 10, 2008

        Add to Reading List

        Source URL: na-inet.jp

        Language: English - Date: 2014-05-04 08:52:24
        199Computer architecture / Computing / Parallel computing / Computer programming / Instruction set architectures / Central processing unit / Computer arithmetic / Floating point / Floating-point unit / Error detection and correction / Bulldozer / OpenMP

        Proceedings Template - WORD

        Add to Reading List

        Source URL: mesl.ucsd.edu

        Language: English - Date: 2014-02-11 01:14:55
        200Software / Cross-platform software / Scheduling / Computer arithmetic / Q / PostgreSQL

        PDF Document

        Add to Reading List

        Source URL: thoughts.j-davis.com

        Language: English
        UPDATE